canonical form of LPP